منابع مشابه
Practical Tactics for Separation Logic
We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctness properties of complex pointer-intensive programs. Our goal is to make separation logic as easy to use as the standard logic of a proof assistant. We have developed tactics for the simplification, rearranging, splitting, match...
متن کاملMetafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملthe study of practical and theoretical foundation of credit risk and its coverage
پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...
15 صفحه اولForest governance and social justice: practical tactics from a learning group approach in Africa1
2 Director, Forestry and Land Use programme, International Institute for Environment and Development, Edinburgh, UK 3 Assistant Professor, Faculdade de Agronomia e Engenharia Florestal, University of Eduardo Mondlane, Maputo, Mozambique 4 Coordinator Planning, National Forestry Authority, Kampala, Uganda 5 Coordinator, Civic Response, Accra, Ghana 6 Assistant Director of Forestry, Department of...
متن کاملThe Entrepreneur: Real and Imagined*
Ludwig von Mises, Friedrich Hayek, and Murray Rothbard were the main architects of the distinctly Austrian theory of production as it exists today. All three conceived the entrepreneurial function in the actual market economy as presupposing the ownership of property, specifically capital. Yet, many, if not most, contemporary Austrian economists conceive the entrepreneur as a pure decisionmaker...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research in Drama Education: The Journal of Applied Theatre and Performance
سال: 2019
ISSN: 1356-9783,1470-112X
DOI: 10.1080/13569783.2019.1615833